中华世纪坛旋转噪音测试方法的研究

着重阐述了中华世纪坛在实际工作中为解决噪音问题所采用的测试方法，寻求一种解决长时间、多数据测试分析的途径。     

污水处理装置在冶金行业中的应用

对污水处理装置的技术参数、技术要求及设计方案的选择、工作原理做了进一步的阐述。对工业循环冷却水的处理有实际指导意义。     

高精度算术运算

本文针对当前各种计算机高级语言运算精度的不足，用PASCAL语言实现了高精度的加、减、乘、除算术四则运算。以满足教学、科研的实际需要。     

Space-Wise,Time-Wise,Torus and Rosborough Representations in Gravity Field Modelling

The decade of the geopotentials started July 2000 with the launch of the German high-low SST mission CHAMP. Together with the joint NASA-DLR low-low SST mission GRACE and the ESA gradiometry mission GOCE an unprecedented wealth of geopotential data becomes available over the next few years. Due to the sheer number of unknown gravity field parameters (up to 100 000) and of observations (millions), especially the latter two missions are highly demanding in terms of computational requirements. In this paper several modelling strategies are presented that are based on a semi-analytical approach. In this approach the set of normal equations becomes block-diagonal with maximum block-sizes smaller than the spherical harmonic degree of resolution. The block-diagonality leads to a rapid and powerful gravity field analysis tool. Beyond the more-or-less conventional space-wise and time-wise formulations, the torus approach and Rosborough's representation are discussed. A trade-off between pros and cons of each of the modelling strategies will be given. This revised version was published online in August 2006 with corrections to the Cover Date.     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

几何分布参数的区间估计和统计贴近性研究

给出了几何分布产品全样本场合下参数的近似区间估计,通过Monte-Carlo模拟考察了区间估计的精度,并与Bootstrap置信限作了比较,最后研究了几何分布和离散寿命分布类的统计贴近性。     

精密加工中切削方向毛刺生成机理的研究(英文)

金属切削毛刺是切削加工中产生的常见现象之一。本研究以金属切削实验为基础 ,对二维精密切削中切削方向毛刺的形成过程、主要影响因素及其变化规律进行了系统的实验研究和相应的理论分析 ,结果表明 :( 1 )切削方向毛刺形成过程为正常切削、挠曲变形、弹性效应、继续切削和剪切断裂分离 ;( 2 )发现了切削方向毛刺形成过程中的切屑与工件表面剪切断裂分离的特殊现象 ;( 3)切削方向毛刺尺寸和形态随着切削条件和刀具几何参数的变化而变化。     

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

DDLL中存在的包络现象及其解决方法

数字延迟锁定环路 (DDLL)中存在的包络现象是导致低动态环境下 GPS伪距测量精度难以提高的重要原因。文中从实验中发现这种现象 ,通过大量仿真复现了这一现象并找到产生这一现象的原因 ,最后从理论上进行分析并给出解决问题的方法。